casual conditional according to the muslim logicians
نویسندگان
چکیده
it is well-known that “casual conditional” in islamic logics has been used with two meanings: “specific conditional” and “general conditional”. however, viewing the works of the muslim logicians, we find out that these two meanings of “casual conditional” have been interpreted in two various ways: each of the general and specific conditionals is sometimes interpreted as the condition of “non-necessity” and sometimes as without “condition of necessity”. we have named these two interpretations as “negatively conditioned casual” and “unconditioned casual”. on the other hand, we have indicated that there are examples in our great figures’ works of logics, which are not consistent with any of the above-mentioned meanings for “casual” and the only interpretation that can be presented of them is “material implication” and “truth-functional implication” referred to in modern logics. we have named this meaning as “most general casual”. in this article, we have found another meaning for casual conditional, which is used in natural language, but we do not find any reference to it in the earlier and contemporary works, and those are the casuals whose premise is false or impossible. borrowing the idea of “verbal implication” from khāwja naṣīr, we have named them “verbal casual”.
منابع مشابه
The Soul According to Rāmānuja
Rāmānuja was the founder of Visistādvaita Vedānta School, which is one of the three main schools of Vedānta. According to Rāmānuja, the soul (cit), Brahman, and matter (acit) constitute the three principal ontological realities. Rāmānuja provides some proofs for the existence of the soul, which are mostly based on self-consciousness. The relationship of the soul with the matter, on one hand, an...
متن کاملDescriptive Complexity: A Logicians Approach to Computation
structures, North Holland, 1974. [19] S. Patnaik and N. Immerman, Dyn-FO: A parallel, dynamic complexity class, ACM Symp. Principles Database Systems (1994), 210–221. [20] W. J. Savitch, Relationships between nondeterministic and deterministic tape complexities, J. Comput. System Sci. 4 (1970), 177–192. [21] R. Szelepcsenyi, The method of forced enumeration for nondeterministic automata, Acta I...
متن کاملContribution of Warsaw Logicians to Computational Logic
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise t...
متن کاملLogicians Who Reason About Themselves
By treating belief as a modality and combining this with problems about constant truth tel lers and constant l iars (knights and knaves) we obtain some curious epistemic counterparts of undecidability results in metamathematics. Godel's second theorem gets reflected in a logician who cannot believe in his own consistency without becoming inconsistent. Lob's theorem reflects i t se l f in a vari...
متن کاملAccording to the Deeds of Endowment
As is understood by the Safavid documents, surely endowment has been of its most flourishing periods in that time. Safavid King have been counted as the forerunners for great endowments and, following them, many of regional rulers, men of the Court and charitable people throughout country endowed considerable parts of their properties. With regard to the extensiveness and dispersion of the stud...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
فلسفه و کلامجلد ۲۰۱۲، شماره ۰۳، صفحات ۰-۰
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023